Languages and Programming - PDFSEARCH.IO - Document Search Engine

Languages and Programming
Results: 5418

#	Item
31	In Proceedings of the IEEE Symposia on Human-Centric Computing Languages and Environments, ppFirst Steps in Programming: A Rationale for Attention Investment Models Alan F. Blackwell University of Cambridge Comp Add to Reading List Source URL: www.cl.cam.ac.uk - Date: 2002-12-10 07:42:49
32	Dualities in Programming Languages Martin Hirzel and Priya Nagpurkar IBM Watson Research Center PLDI-FIT 2010 Add to Reading List Source URL: csl.stanford.edu - Date: 2010-06-09 06:14:39
33	Concepts of Programming Languages – Recitation 4: Structural Operational Semantics (SOS) and From Semantics to Interpreters Oded Padon Reference: Add to Reading List Source URL: www.cs.tau.ac.il - Date: 2015-04-19 13:50:48
34	Algebraic Effects, Linearity, and Quantum Programming Languages Sam Staton Radboud University Nijmegen Abstract Add to Reading List Source URL: www.cs.ox.ac.uk - Date: 2015-04-08 07:43:01
35	On Functional Logic Programming and its Application to Testing Sebastian Fischer Programming Languages and Compiler Construction Department of Computing Science Christian-Albrechts University of Kiel Add to Reading List Source URL: www-ps.informatik.uni-kiel.de - Date: 2014-06-15 10:42:57
36	Formal Syntax and Semantics of Programming Languages Mooly Sagiv Reference: Semantics with Applications Chapter 2 Add to Reading List Source URL: www.cs.tau.ac.il - Date: 2016-11-26 08:22:59
37	Notes on Logical Relations and Parametricity Jeremy G. Siek March 24, 2015 These notes are based on Derek Dreyer’s lectures at the 2015 Oregon Programming Languages Summer School. T ::= Int \| Bool \| String \| . . . \| α Add to Reading List Source URL: dl.dropboxusercontent.com
38	Types and Type Inference Mooly Sagiv Slides by Kathleen Fisher and John Mitchell Reading: “Concepts in Programming Languages”, Add to Reading List Source URL: www.cs.tau.ac.il - Date: 2014-05-11 15:49:09
39	Formal Syntax and Semantics of Programming Languages Mooly Sagiv Reference: Semantics with Applications Chapter 2 Add to Reading List Source URL: www.cs.tau.ac.il - Date: 2015-04-12 10:45:56
40	A Compiler and Run-time System for Network Programming Languages Christopher Monsanto Nate Foster Add to Reading List Source URL: frenetic-lang.org - Date: 2016-06-10 23:59:37